
%{
#include<iostream>
#include<string>
#include<set>
#include<cstdlib>
using namespace std;
int change;
int numcount=0;
int numappear=0;
set<int> a;
%}

digit [0-9]
number {digit}+
decimal {number}(\.{number})?

%%
^{digit}{9}   {cout<<("201492414");}
NAME$       {cout<<("WZY");}
{decimal}   {numcount++;		
		change=atoi(yytext)*2+201492414;
		    cout<<change;
		    a.insert(change);
		    numappear=a.size();
             }

%%
int main()
{
    yylex();
    cout<<numcount<<","<<numappear;
    return 0;
}
int yywrap(){
return 1;
}
